The Scott model of linear logic is the extensional collapse of its relational model
نویسنده
چکیده
We show that the extensional collapse of the relational model of linear logic is the model of prime-algebraic complete lattices, a natural extension to linear logic of the well known Scott semantics of the lambda-calculus.
منابع مشابه
An application of the extensional collapse of the relational model of linear logic
We proved recently that the extensional collapse of the relational model of linear logic coincides with its Scott model, whose objects are preorders and morphisms are downwards closed relations. This result is obtained by the construction of a new model whose objects can be understood as preorders equipped with a realizability predicate. We present this model, which features a new duality, and ...
متن کاملCollapsing non-idempotent intersection types
We proved recently that the extensional collapse of the relational model of linear logic coincides with its Scott model, whose objects are preorders and morphisms are downwards closed relations. This result is obtained by the construction of a new model whose objects can be understood as preorders equipped with a realizability predicate. We present this model, which features a new duality, and ...
متن کاملSemantics of linear logic and higher-order model-checking. (Sémantique de la logique linéaire et "model-checking" d'ordre supérieur)
This thesis studies problems of higher-order model-checking from a semantic and logical perspective. Higher-order model-checking is concerned with the verification of properties expressed in monadic second-order logic, specified over infinite trees generated by a class of rewriting systems called higher-order recursion schemes. These systems are equivalent to simply-typed λ-terms with recursion...
متن کاملLandslides susceptibility mapping using fuzzy logic and AHP
Landslide, due to its dangerous nature in mountainous areas, usually causes morphology to suddenly collapse and causes major damage to residential areas, roads, agricultural lands, and so on. In this study, using the AHP model and fuzzy logic operators, we evaluated and zoned the landslide sensitivity in the Pseudogene basin in Razavi Khorasan province. The eight main criteria of elevation, slo...
متن کاملSPOT PATTERNS IN GRAY SCOTT MODEL WITH APPLICATION TO EPIDEMIC CONTROL
In this work, we analyse a pair of two-dimensional coupled reaction-diusion equations known as the Gray-Scott model, in which spot patterns have been observed. We focus on stationary patterns, and begin by deriving the asymptotic scaling of the parameters and variables necessary for the analysis of these patterns. A complete bifurcation study of these solutions is presented. The main mathematic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 424 شماره
صفحات -
تاریخ انتشار 2012